- 1 - Carnap and Modern Logic 1 Erich

A distinguishing feature of analytic philosophy, or at least of one central strand in it, is the use of modern logic for the purpose of clarifying and solving philosophical problems. The most prominent figure in this tradition was Bertrand Russell; and second only to Russell was Rudolf Carnap. Directly and strongly influenced by Russell, Carnap passed on this influence to legions of later philosophers, including themselves widely influential figures such as W.V.O. Quine. It is well known that Carnap was a main expositor and promoter of modern logic, as illustrated by his textbooks on the subject, from Abriss der Logistik (1929) to Introduction to Symbolic Logic and its Applications (1958). It is also well known that Carnap applied logic substantively, both in his own constructive endeavors in philosophy and in his criticism of metaphysics, as in Der Logische Aufbau der Welt (1928a), “Überwindung der Metaphysik durch logische Analyse der Sprache” (1932), and Logische Syntax der Sprache (1934a). Less well known is the fact that, in addition, Carnap was actively engaged in research on pure logic and related questions in early metamathematics. In particular, during large parts of the 1920s—parallel and subsequent to his work on the Aufbau— Carnap was pursuing a major research project in this area. A main goal of this project was to combine, and to reconcile, the approaches to logic and the foundations of mathematics he had encountered in interactions with Gottlob Frege and Bertrand Russell, on the one hand, and in the works of David Hilbert and his followers, on the other. Carnap’s project also had direct connections to contemporary work by Abraham Fraenkel on axiomatics, by Kurt Gödel on incompleteness, and by Alfred Tarski on the foundations of metalogical notions. Carnap was at the cutting edge of research in modern logic during this period, both in terms of his personal contacts and his own endeavors. While these endeavors did not bear the systematic fruits he initially envisioned, they did